perm filename PREVEN[S85,JMC]1 blob sn#795997 filedate 1985-06-06 generic text, type C, neo UTF8
COMMENT āŠ—   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	prevent[s85,jmc]		Prevention and impossibility
C00003 ENDMK
CāŠ—;
prevent[s85,jmc]		Prevention and impossibility

Maybe it's easy.  We have some axioms about the effects of the actions
of the dogs and the result that dogs sometimes knock over trash barrels.
The key to the problem is to devise a plausible form to the statement
that a dog jumping on a fastened object will leave it untouched.  Note
that a bear would pull out the hooks.